cdd63bf38744bcac8706cc8e3601c0360bf62eaf,basex-core/src/main/java/org/basex/gui/view/text/TextView.java,TextView,setText,#Nodes#,143
Before Change
private void setText(final Nodes n) {
if(visible()) {
try {
final ArrayOutput ao = new ArrayOutput().max(gui.gopts.get(GUIOptions.MAXTEXT));
if(n != null) n.serialize(Serializer.get(ao));
setText(ao);
cmd = null;
After Change
private void setText(final Nodes n) {
if(visible()) {
try {
final ArrayOutput ao = new ArrayOutput();
ao.setLimit(gui.gopts.get(GUIOptions.MAXTEXT));
if(n != null) n.serialize(Serializer.get(ao));
setText(ao);
cmd = null;